The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Background: Critically ill patients often require complex clinical care by highly trained staff within a specialized intensive care unit (ICU) with advanced equipment. There are currently limited data on the costs of critical care in low-and middle-income countries (LMICs). This study aims to investigate the direct-medical costs of key infectious disease (tetanus, sepsis, and dengue) patients admitted to ICU in a hospital in Ho Chi Minh City (HCMC), Vietnam, and explores how the costs and cost drivers can vary between the (...) different diseases. -/- Methods: We calculated the direct medical costs for patients requiring critical care for tetanus, dengue and sepsis. Costing data (stratified into different cost categories) were extracted from the bills of patients hospitalized to the adult ICU with a dengue, sepsis and tetanus diagnosis that were enrolled in three studies conducted at the Hospital for Tropical Diseases in HCMC from January 2017 to December 2019. The costs were considered from the health sector perspective. The total sample size in this study was 342 patients. -/- Results: ICU care was associated with significant direct medical costs. For patients that did not require mechanical ventilation, the median total ICU cost per patient varied between US$64.40 and US$675 for the different diseases. The costs were higher for patients that required mechanical ventilation, with the median total ICU cost per patient for the different diseases varying between US$2,590 and US$4,250. The main cost drivers varied according to disease and associated severity. -/- Conclusion: This study demonstrates the notable cost of ICU care in Vietnam and in similar LMIC settings. Future studies are needed to further evaluate the costs and economic burden incurred by ICU patients. The data also highlight the importance of evaluating novel critical care interventions that could reduce the costs of ICU care. (shrink)

C endorses the doctrine of Composition as Identity, which holds that a composite object is identical to its many parts, and entails that one object can be identical to several others. In this dialogue, N argues that many‐one identity, and thus composition as identity, is conceptually confused. In particular, N claims it violates two conceptual truths: that existence facts fix identity facts, and that identity is no addition to being. In response to pressure from C, N considers several candidate interpretations (...) of the first slogan. Each interpretation imagines God issuing a divine existential decree that counts as ‘fixing the existence facts’, and then considers what questions about identity are left open by it. N eventually hits on an appealing interpretation of the slogan that C can neither undermine nor accommodate, and uses it to interpret the second slogan as well. (shrink)

This article aims to draw on the ‘Qur'anic Rationalism’ of Taqī al-Dīn Ibn Taymiyya (1263–1328) in elucidating an Islamic epistemology of theistic natural signs, in the lens of contemporary philosophy of religion. In articulating what Ibn Taymiyya coins ‘God's method of proof through signs (istidlāluhu taʿālā bi'l-āyāt)’, it seeks aid in particular from the work of C. Stephen Evans and other contemporary philosophers of religion, in an attempt to understand the relevance and force of this alternative to natural theology within (...) the Islamic tradition. In doing so, it aims to respond to existing criticisms of Ibn Taymiyya's perspective in the literature, and to consider the implications of a Taymiyyan reading of theistic natural signs, on the epistemic function of Qur'anic āyāt as theistic evidence. (shrink)

The four volume work of which this book is a part has been praised as one of the great monuments of theoretical scholarship in sociology of the century. The praise has come largely from the older generation of students of Parsons and Merton. A great deal of dispraise has come from Alexander's own generation. Alan Sica's (1983) brilliant, biting review of Volume I speaks for many of Alexander's peers. Volume II is likely to be even more controversial. This volume begins (...) the substantive task of the text, the reinterpretation of the 'theoretical logic' of the classical sociologists, a reinterpretation governed by the intention of transcending the errors and limitations of the 'presuppositional' reasoning of the classical thinkers. For Alexander's sociological audience the second volume is the beginning of what really counts, and Volume II is indeed quite a different affair from the first, 'philosophical' volume: the prose tightens, and the air of getting down to work is palpable. (shrink)

This thesis contends that the possession of a sense of humour would contribute considerably to the quality of human life. It is an exploration and discussion of some of the difficulties involved in justifying the development of humour in terms of a philosophy of education. In light of developments in the digital age with consequent changes in science, technology and society, the educated person of the future will have to be less concerned with the accumulated knowledge of the past than (...) with the development and interplay of social and natural environments. Such a person will need to have, more than ever, a sense of what is truly real and what is truly valuable in human life. If the primary purpose of education is the preparation of students for their future lives, educators are now faced with some challenging problems. Apart from the high social value of laughter, there is a recognized relationship between humour and intelligence. Knowing that the two are related proves to be a key factor in understanding the learning process and assuring that the development of a sense of humour in education is worthy of consideration. (shrink)

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...) them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations. (shrink)

DIFERENCIAÇÃO SEXUAL -/- Emanuel Isaque Cordeiro da Silva Instituto Agronômico de Pernambuco Embrapa Semiárido -/- • _____OBJETIVO -/- Os estudantes de Veterinária e de Zootecnia estão ligados à disciplina Reprodução Animal, um pelos mecanismos fisiológicos para evitar e tratar as possíveis patologias do trato reprodutivo dos animais domésticos, e outro para o entendimento dos processos fisiológicos visando o manejo reprodutivo e a procriação para a formação de um plantel geneticamente melhorado. Sendo assim, a finalidade do presente trabalho é apresentar os (...) mecanismos que regulam as diferenças sobre o desenvolvimento embrionário relativos à diferenciação e determinação sexual de machos e fêmeas, que também incluem o desenvolvimento dos órgãos envolvidos na reprodução e a origem das diferenças entre ambos os sexos. -/- •____INTRODUÇÃO -/- Os organismos que se reproduzem sexualmente são descendentes de organismos ao qual não existia a diferenciação sexual. Em algum momento da evolução surgiu a reprodução sexual como um mecanismo para incrementar a diversidade genética e facilitar a troca de informações genéticas mediante o material genético da fêmea com o do macho. Devido sua origem comum, na maioria das espécies, tanto os machos como as fêmeas possuem todos os genes necessários para desenvolverem-se em qualquer dos sexos. O que efetivamente faz diferença entre os sexos é a forma e a ordem ao qual se expressam os genes durante o processo de desenvolvimento. A diferenciação sexual é regulada principalmente por mecanismos epigenéticos, mais do que as diferenças genéticas de grande magnitude entre os sexos. Todo o controle epigenético de qualquer processo de desenvolvimento depende basicamente de uma série de expressões gênicas, através da qual a expressão de certa combinação de genes resulta na presença de determinadas proteínas, conhecidas como os fatores de transcrição, que induzem ou reprimem a expressão de outro(os) gene(es), a partir dos quais se produzem novas proteínas, que em certos casos também atuam como fatores de transcrição para outros genes, e assim sucessivamente. Logo, a expressão ou falta de expressão de um gene ao início da série pode resultar em um ladrão totalmente diferente da expressão de outros genes subsequentes, o que pode ocasionar profundas mudanças no processo de desenvolvimento e até a mutações indesejáveis. O padrão predeterminado de expressões gênica relativo a diferenciação sexual na maioria das espécies tanto domésticas quanto selvagens, leva ao desenvolvimento de um dos sexos (o padrão predeterminado dos mamíferos é o sexo feminino). Em consequência, a diferenciação faz com que um indivíduo do sexo oposto exija a expressão de um gene de determinação sexual que desvie a subsequente série de expressões gênica em direção ao dito sexo. Nos mamíferos, a expressão do gene SRY, localizado no cromossomo Y (e portanto ausente nas fêmeas), redige o padrão de diferenciação sexual de sua via pré-estabelecida feminina em direção ao padrão masculino. A existência de uma única diferença genética (presença do gene SRY nos machos e ausentes nas fêmeas), vai se amplificando e termina resultando no desenvolvimento de indivíduos diferentes entre si. Esse é um mecanismo de diferenciação sexual cromossômica. O primeiro passo de uma série de diferenciação sexual, em sentido estrito, não depende nem requer necessariamente a presença de um gene diferente em algum dos sexos. O gene “disparador” da diferenciação sexual pode estar presente em todos os embriões, porém pode expressar-se somente em algum deles, devido a fatores ambientais que formam parte da sua regulação epigenética, isto é, uma determinação sexual ambiental. Em algumas espécies de tartarugas ou de lagartos a expressão ou falta de expressão do gene “disparador”, por exemplo, depende da temperatura existente durante a incubação dos ovos, pelo qual alguns embriões desenvolvem-se como machos e outros como fêmeas, apesar de não existir diferença genética entre eles, simplesmente como consequência da temperatura: a determinação sexual depende da temperatura a que cada um deles foi submetido durante a incubação. Em certas espécies as temperaturas mais elevadas facilitam o desenvolvimento de fêmeas e outras de machos, enquanto que em outras espécies as temperaturas amenas (intermediárias) resultam em machos, e as inferiores como as superiores induzem o desenvolvimento de fêmeas. A existência dessa diversidade indica que a temperatura por si mesma não é a que induz ou a que provoca o desenvolvimento do macho e da fêmea, senão a que atua somente como um regulador inicial da diferenciação sexual. Em outras espécies o fator ambiental que regula a determinação sexual pode ser distinto. A densidade populacional, por exemplo, pode atuar como um regulador. Podemos concluir que a determinação sexual dependente da temperatura ou de outros fatores ambientais estabelece-se antes da determinação sexual cromossômica, a qual evoluiu depois como um método que oferece maior certeza e resultado, já que a proporção de machos e fêmeas não é afetada por mudanças ambientais ou de hábitat. -/- •___FORMAÇÃO INICIAL DA GÔNADA -/- Basicamente em todos os embriões, inicialmente se formam as chamadas gônadas indiferenciadas (com o potencial de desenvolver-se em ovários ou testículos) a partir da invasão das cristas genitais pelas células germinais primordiais, que migram desde seu local de origem no epiblasto, perto do lugar onde o saco vitelino se une com o intestino primitivo e que chegam até às cristas genitais que são engrossamentos de tecido situados na região mesonéfrica do embrião. A migração das células germinais primordiais ocorre muito cedo sobre o processo de desenvolvimento do embrião (dia 26 nos bovinos). Ao chegas as cristas genitais, as células germinativas proliferam-se e se organizam com as células somáticas já existentes nas cristas para ir formando a gônada (figura 1). Para regular essa remodelação e conformação adequada da gônada vários genes se expressam, como o OCT-4 (que aparentemente mantém a totipotencialidade da gônada), assim como o SF-1 (Fator esteroidogênico 1) e o WT-1 (gene associado ao tumor de Wilms). Esses dois últimos genes estimulam a proliferação celular e estabelecimento dos cordões sexuais. Nessa etapa inicial do desenvolvimento todos esses genes se expressam sem distinção de sexo, pelo que a gônada em formação mantém a capacidade de se diferenciar em testículo ou em ovário. -/- Figura 1: migração das células germinais primordiais em direção a crista gonodal. Diferenciação das gônadas femininas e masculinas. Fonte: ZARCO, 2018. -/- •___SEXO CROMOSSÔMICO -/- Têm-se observado que nos mamíferos a determinação sexual depende diretamente dos cromossomos. As fêmeas possuem dois cromossomos sexuais X (um contribuído do óvulo e o outro por um espermatozoide “X”). Os machos, por sua vez, possuem um cromossomo sexual X(proveniente do óvulo) e um cromossomo sexual Y, que provém de um espermatozoide “Y” (figura 2). A metade dos espermatozoides produzidos por um macho são X e a metade Y, isso porque durante a espermatogênese a divisão meiótica provoca que a partir de cada espermatócito primário, célula diploide que por pertencer a um indivíduo macho tem um cromossomo X e um Y, se originem das espermátides haploides a cada um das que eles tocam cromossomos X, e outras espermátides haploides as que eles tocam os cromossomos Y. Dessa forma, de acordo com o tipo do espermatozoide que fertilize o ovócito, se originará um indivíduo com cariótipo feminino “XX” ou um cariótipo masculino “XY” (figura 2). Esse processo é conhecido como sexo cromossômico, ao qual se determina o momento da fertilização. Figura 2: nos mamíferos todos os óvulos produzidos pelas fêmeas possuem um cromossomo sexual X. A metade dos espermatozoides produzidos pelos machos possuem um cromossomo X e a outra metade possui um cromossomo Y. Dependendo do cromossomo presente no espermatozoide que fertilize o óvulo pode-se gerar um indivíduo XX (fêmea) ou um XY (macho). Fonte: ZARCO, 2018. -/- O cromossomo “Y” é uma “invenção” relativamente recente na história da evolução das espécies e do estudo da genética. Surgiu a partir de uma mutação de um cromossomo “X”, que resultou na perda de um de seus braços, que é por onde se originou a morfologia do cromossomo Y. A maioria dos genes presentes no cromossomo Y também existem no cromossomo X; assim mesmo somente alguns genes do cromossomo Y foram evoluídos até ser diferentes dos genes do cromossomo X. Embora os machos possuam um cromossomo que não está presente nas fêmeas, esse mesmo cromossomo não aporta toda a informação genética original. Todos os genes existentes nas fêmeas estão também presentes nos dos machos, já que eles também possuem um cromossomo X. Uma particularidade do cromossomo Y, ao existir somente uma cópia nos machos, é que ele sofre um entrecruzamento com um cromossomo análogo durante o processo de meiose, pelo que o cromossomo Y de um macho é idêntico ao de seu progenitor e ao de seus descendentes, exceto no caso em que ocorra uma mutação espontânea. Em contraste, os cromossomos X das fêmeas (um proveniente do pai e outro da mãe) se entrecruzam durante a meiose, por onde cada óvulo produzido pela fêmea terá uma combinação de alelos distinta em seu cromossomo X. Ao estudar as diferenças presentes na sequência de DNA do cromossomo Y, é possível identificar a distância filogenética entre os indivíduos (quanto mais diferenças existirem entre os cromossomos significa que seu ancestral comum está mais longe). Algo análogo ocorre com o DNA das mitocôndrias, que sempre são aportados pela mãe e nunca sofrem recombinação genética. Gene SRY -/- Um dos poucos genes do cromossomo Y que não possuem correspondência com o cromossomo X é o gene SRY (Sex-determining Region of the Y chromossome – região do cromossomo Y determinante do sexo). Esse gene se expressa somente na gônada em formação nos embriões machos, em particular em células precursoras das células de Sertoli; ele codifica uma proteína da família SOX (SRY-like Box) que é uma família formada por proteínas que possuem um domínio de união ao DNA e que atuam como fatores de transcrição. Ao produzir-se a proteína SRY nas células precursoras das células de Sertoli estimula-se a expressão (transcrição) de outro gene análogo, denominado SOX-9 que, por sua vez, atua como um fator de transcrição que ativa a expressão de outros genes, como o FGF-9 (Fibroblast Growth Factor-9), ou seja ele é o estimulante de ativação dos demais. Os produtos dos genes SOX-9 e FGF-9 iniciam uma cascata de expressões que provocam a diferenciação das células de suporte da gônada indiferenciada (crista genital) em células de Sertoli. Em seguida, essas células dirigem a diferenciação das células intersticiais da crista genital em células de Leydig, o que finalmente resulta na formação de um testículo. Outro dos efeitos da proteína codificada por SOX-9 é um estímulo maior da expressão de seu próprio gene, pelo qual é produzido um ciclo de retroalimentação positiva que favorece a continuidade do processo de formação testicular. Como nos embriões da fêmea não existe o gene SRY, a gônada indiferenciada não é estimulada para expressar os genes SOX-9 nem o FGF-9 nas células de suporte (que nesse caso serão precursoras de células da granulosa). A gônada, em mudança, expressa em forma constitutiva, isto é, sem a necessidade de estimulação, outra cascata de genes que incluem o WNT4 (Wingless-integration Factor 4) e o RAPO1 (Respondina-1), que por sua vez iniciam uma cascata de expressão gênica, a qual provoca a diferenciação das células somáticas da gônada indiferenciada para formação das células da granulosa e células da teca, esse feito conduz, por sua vez, a formação de um ovário. No embrião macho a proteína SOX-9 inibe a expressão dos genes WNT4 e RSPO-1, pelo que a presença do gene SRY, e portanto de SOX-9, inibem a formação de um ovário ao mesmo tempo que estimulam a formação do testículo (figura 3). Em suma, se o embrião possui genótipo XY (um embrião macho), o gene SRY começa a expressar-se sobre as células precursoras da gônada imediatamente depois da formação da mesma, quando os cordões sexuais primários estão se desenvolvendo na medula. A expressão do gene, assim como a presença subsequente das proteínas SOX-9 e FGF-9 estimula a distinção das células de Sertoli e que se organizem os tubos seminíferos a partir dos cordões sexuais primários. Em contrapartida, em um embrião com genótipo XX (fêmea) não existe o gene SRY, pelo qual é impossível que se elevem os níveis das proteínas SOX-9 e FGF-9 e as células precursoras não se diferenciam em células de Sertoli, e portanto os cordões sexuais primários sofrem regressão. Depois de alguns dias, começam a organizar-se os cordões sexuais secundários e as células precursoras iniciam a expressão do gene WNT4, o que leva as mesmas a diferenciar-se em células da granulosa, que serão a base para a conformação dos folículos ovarianos. Se em um embrião XY, macho, a expressão do gene SRY demora, é formada um ovo-testículo devido a que algumas das células somáticas das cristas gonodais começam a expressar o gene WNT4, e a diferenciar-se em células da granulosa, enquanto que em outras a proteína SRY chega a tempo para dirigir a diferenciação para formação das células de Sertoli. No ovário em formação é expressado um gene denominado DAX-1 (Dosage-sensitive Sex Reversal). Esse gene, localizado no cromossomo X, codifica uma proteína que é um membro da família dos receptores nucleares ao que lhe falta o domínio de união ao DNA, pelo que parece atuar no bloqueio de diversos fatores de transcrição, entre os que se encontra o SRY. Como a proteína DAX-1 impede a ação da proteína SRY, um excesso de expressão do gene DAX-1 pode provocar a feminilização gonodal de indivíduos XY, macho, embora tenham SRY. Em condições normais, a expressão adequada do gene DAX-1 não é capaz de evitar a masculinização gonodal de embriões com o gene SRY, daqui o nome de reversão sexual dependente da dose. Figura 3: série de expressão gênica para a determinação gonodal. SRY (Região do cromossomo Y determinante do sexo), SOX-9 (SRY-like Box-9), FGF-9 (Fator de crescimento de fibroblastos-9), WNT4 (Wingless-integration Factor-4), RSPO-1 (Respondina-1). Uma vez que o SRY induz a expressão de SOX-9 na gônada masculina, inicia-se um processo de feedback positivo mediante o qual os níveis de expressão de SOX-9 e FGF-9 vão aumentando, ao mesmo tempo que inibem a expressão de WNT-4 e RSPO-1. Na gônada feminina não se expressam SRY, SOX-9 e nem FGF-9, o que permite que se expressem os genes WNT-4 e RSPO-1, que iniciam uma cascata de sinalização que dirige a formação de um ovário. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DOS GENITAIS -/- Uma vez que se formam os testículos, todo o desenvolvimento subsequente dos órgãos e as características “masculinas” em lugar das femininas é em consequência dos hormônios produzidos pelos testículos em formação, incluindo os andrógenos e o hormônio inibidor dos ductos de Müller. Mediante a ausência de testículos todo o desenvolvimento dos órgãos genitais internos e externos segue um padrão feminino, sem levar em conta se estão presentes os ovários; o que significa a ausência de hormônios gonodais determina que o embrião se desenvolva como fêmea, uma vez que não requerem hormônios ovarianos para desencadear o padrão feminino. Por sua vez, as gônadas masculinas (os testículos), produzem substâncias que desviam o desenvolvimento em direção ao padrão masculino. Sob etapas relativamente rápidas da diferenciação todos os embriões possuem dois pares de dutos sexuais, os dutos de Wolff ou mesonéfricos e os dutos de Müller ou paramesonéfricos (figura 4). A testosterona secretada pelos testículos do feto macho em desenvolvimento atua sobre os dutos de Wolff, o que induz a formação posterior dos dutos deferentes, do epidídimo e das glândulas seminais (figura 4). Figura 4: formação dos órgãos genitais internos a partir dos dutos de Wolff no macho e dos dutos de Müller na fêmea. Fonte: ZARCO, 2018. -/- Os testículos produzem ao mesmo tempo, uma glicoproteína chamada Hormônio Inibidor dos Dutos de Müller (Müllerian Inhibiting Hormone, MIH, também chamado de Anti-Müllerian Hormone, AMH); como o seu nome indica, inibe o desenvolvimento dos dutos de Müller ou paramesonéfricos, provocando sua regressão, que impede a formação dos órgãos genitais característicos da fêmea como os ovidutos, o útero, a cérvix e a porção cranial da vagina (figura 4). O MIH é uma glicoproteína da família dos fatores de crescimento transformativo β (TGFβ). O gene MIH possui locais de união para os produtos dos genes SOX-9 e SF-1, pelo que a presença simultânea de ambos fatores de transcrição é necessária para a secreção do MIH e leva a cabo sua função de iniciação dos dutos de Müller sobre o embrião macho (vale lembrar que nessa etapa tanto a gônada de embriões machos como de embriões fêmeas expressam o gene SF-1, mas somente o macho expressa o SOX-9, para que unicamente esse último produza MIH). O certo é que na gônada do embrião fêmea não se produzem quantidades importantes da proteína SOX-9, além de que se produz a proteína DAX-1, mesma que antagoniza tanto a SOX-9 como a SF-1, todo o qual impede a produção de MIH e resulta no desenvolvimento dos dutos de Müller até a formação dos ovidutos, útero, cérvix e a porção cranial da vagina (figura 4). Assim, na fêmea, ao não haver testículos não circulam concentrações elevadas de andrógenos, o que impedirá o desenvolvimento dos dutos de Wolff, enquanto que os dutos de Müller se desenvolvem já que não haverá a presença do MIH para impedi-lo. O desenvolvimento dos genitais internos e externos femininos não requerem a presença de nenhum hormônio ovariano o que levará a cabo de maneira predeterminada (ou pré-estabelecida) na ausência de testículos. Outra estrutura interna que também se desenvolve de forma distinta nos machos e nas fêmeas é o seio urogenital, que no embrião macho é estimulado pela testosterona para formação da próstata, das glândulas bulbouretrais e da uretra peniana, enquanto que na fêmea forma a porção caudal da vagina. A respeito dos órgãos genitais externos (figura 5), nos embriões de ambos os sexos existem estruturas precursoras chamadas de tubérculo genital e pregas vestibulares. Na fêmea o tubérculo genital da origem ao clitóris e as pregas vestibulares dão origem aos lábios vulvares sem a necessidade da atuação de hormônios ovarianos, já que o padrão “por via pré-estabelecida” é feminino. Em contrapartida, no macho, tanto o tubérculo genital quanto as pregas vestibulares respondem ao hormônio 5α-dehidro-testosterona (DHT), ao qual se formam as células da pele da zona genital a partir da testosterona que é secretada pelos testículos. Para isso existem nas células a enzima 5α-reductasa, que transforma a testosterona em DHT. Uma vez formada, a DHT atua sobre as pregas vestibulares do embrião macho para que se fusionem e formem o escroto (em lugar dos lábios vulvares), e sobre o tubérculo genital para formar o pênis (em lugar do clitóris). Figura 5: estruturas que se desenvolvem nos embriões de cada sexo a partir do seio urogenital, o tubérculo genital e as pregas vestibulares. A cor do né de cada estrutura final corresponde com a cor do nome da estrutura a partir da qual se originou. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DO SISTEMA NERVOSO -/- Existem inúmeras diferenças funcionais entre o sistema nervoso da fêmeas e o do machos, em humanos podem incluir diferenças tão complexas como a maior capacidade de verbal da mulher ou a maior capacidade de orientação espacial do homem. Nessa parte será abordada aquelas diferenças que influenciam diretamente sobre a função reprodutiva, como as diferenças na regulação da secreção de gonadotropinas ou as diferenças na capacidade de comportamento sexual masculino ou feminino. É necessário lembrar que, apesar de que essas diferenças se originem durante um período crítico da vida fetal ou neonatal (dependendo da espécie), geralmente se fazem presentes até que o animal chegue a vida adulta e demonstre obter ou não a capacidade para se comportar como macho ou como fêmea uma vez que é exposto aos hormônios sexuais que são secretada depois da puberdade. Igualmente aos processos acima citados, podemos afirmar que nos mamíferos o padrão pré-estabelecido de comportamento sexual e de secreção de gonadotropinas é o feminino. Se durante os primeiros dias de vida neonatal uma rata fêmea não é exposta a nenhum hormônio gonodal, ao chegar a vida adulta ela terá a capacidade de se comportar como fêmea na presença de estrógenos, assim como de secretar um pico pré-ovulatório de GnRH/LH em resposta aos mesmos (figura 6). Essa rata, portanto, não poderá se comportar como macho embora que em sua vida adulta seja exposta a testosterona. O sistema nervoso do rato macho recém-nascido que é exposto aos andrógenos produzidos pelos testículos, em detrimento, faz com que adquiram o potencial para se comportar como machos em sua vida adulta e que perdem o potencial para ter conduta de fêmeas na presença e/ou administração de estrógenos (processo conhecido como desfeminização do SNC). Se por meios de experimentos injetamos testosterona em uma rata fêmea recém-nascida, essa rata não poderá se comportar como fêmea em sua vida adulta, e passará a se comportar como macho. A castração neonatal de um rato (visando evitar a exposição de seu SNC a andrógenos testiculares), assim mesmo, resultará em sua vida adulta um padrão feminino (SNC feminizado e não masculinizado). O hipotálamo das ratas adultas possui uma área em que o número, características e densidade dos corpos neurais difere em machos e fêmeas, essa área é denominada como “núcleo sexualmente dimórfico do hipotálamo”, e tem demonstrado que quando as ratas são tratadas com testosterona na vida neonatal, a morfologia de seu núcleo sexualmente dimórfico será masculinizado em sua vida adulta, enquanto que a castração neonatal de ratos resulta em um núcleo sexualmente dimórfico feminizado em sua vida adulta. Isso significa que a exposição ou não a testosterona na vida neonatal é o que determina que tipo de núcleo sexualmente dimórfico se desenvolverá, o que por sua vez está relacionado com o tipo de conduta que o animal poderá expressar em sua vida adulta. Não deixa de ser um paradoxo que ao injetar uma dose elevada de estrógenos nos primeiros dias de vida de uma rata, os núcleos sexualmente dimórficos da mesma se desenvolverão como macho e em sua vida adulta seu potencial de conduta estará masculinizado e desfeminizado. O hormônio “feminino” conhecido como estradiol, masculiniza o hipotálamo e a conduta do animal. Logo, se a rata neonatal for exposta a injeção de andrógeno não-aromatizado (que não pode ser transformado em estrógenos pelas células) ela não se masculiniza. A masculinização e desfeminização dos ratos ou das ratas tratados com testosterona, na realidade, não são provocados pela própria testosterona, senão pelos estrógenos que se formam dentro dos neurônios quando absorvem a testosterona do sangue e a aromatizam para transformá-la em estrógenos (figura 6). Figura 6: desfeminização e masculinização do sistema nervoso central por meio da testosterona, que quando não absorvida pela α-fetoproteína pode entrar nos neurônios, onde se aromatizam para serem transformados em estrógenos, hormônio que é responsável pela desfeminização. Fonte: ZARCO, 2018. Por que as ratas, que possuem ovários funcionalmente produtores de estrógenos, não se masculinizam? A resposta está em uma proteína denominada α-fetoproteína que circula em altas concentrações nos fetos e nos recém-nascidos. Essa proteína possui a capacidade de unir-se aos estrógenos, ao qual impede seu entrada nas células. Os ratos, em desenvolvimento, produzem testosterona, no entanto não possui afinidade pela α-fetoproteína, o que permite com que ela circule livremente. Ao chegar ao SNC, a testosterona (que não foi absorvida) pode entrar nos neurônios e dentro deles se aromatizam e transformam-se em estrógenos, que finalmente masculinizam o SNC. A diferenciação sexual do hipotálamo depende, em síntese, da presença ou ausência dos testículos, o que permite que se produza ou não o hormônio testosterona que pode não ser absorvida por parte da α-fetoproteína, transformar-se em estrógenos e masculinizar o SNC. -/- •___CONCLUSÃO -/- Nos mamíferos todo o processo que se requerem para o desenvolvimento de um macho depende da existência de somente um gene do cromossomo Y, o gene SRY; a ausência desse gene resulta no desenvolvimento de uma fêmea. A presença ou ausência do gene SRY determina, então, a cadeia de eventos morfogênicos que ocorrerá em sua expressão ou não, para desenvolver todos os órgãos e características de um macho ou de uma fêmea. Por essa razão, os indivíduos com uma monossomia XOA (síndrome de Turner) são fêmeas (por não possuir o cromossomo Y nem o gene SRY), enquanto que os indivíduos triploides XXY (síndrome de Kleinefelter) são machos embora possuam dois cromossomos X. Em algumas espécies, no entanto, têm-se identificado machos que são cromossomicamente XX; nesses casos é determinado invariavelmente que por ser um erro durante a meiose a região do cromossomo Y em que reside o gene SRY tem sido transloucada ao cromossomo X. Da mesma forma, em alguns casos tem sido encontrado fêmeas com cariótipo XY; que nelas se identifica uma mutação inabilitante do gene SRY. Isso demonstra experimentalmente que por meio da engenharia genética é possível produzir machos com cariótipo XY mas com o gene SRY eliminado (knockout). Como é de se esperar, esses machos desenvolvem ovários e todos seus órgãos genitais, tanto internos quanto externos, e se desenvolvem como fêmeas. Os machos cromossomicamente XX transgênicos aos que se insertam uma cópia do gene SRY, desenvolvem testículos e um fenótipo masculino, embora sejam estéreis por causa da ausência de alguns genes do cromossomo Y que são necessários para a realização de uma espermatogênese normal. As falhas nos mecanismos de diferenciação sexual podem, diretamente, ocasionar anormalidades como as observadas nas bezerras Freemartin, que são bezerras originadas de uma gestação gemelar em que seu gêmeo era macho. O que sucede é que na espécie bovina, quando há uma gestação gemelar, é produzido um certo grau de anastomose entre as placentas dos fetos, o que permite a troca de sangue e de células entre ambos. Os produtos recebem, então, algumas células de seu gêmeos, que encontram seu lugar no órgão correspondente e se integram a ele. No caso particular das gônadas, quando o ovário primitivo de um embrião fêmea é colonizado por algumas células gonodais de seu gêmeo macho, essas células expressam o gene SRY, o que fará com que essa região da gônada se diferencie como testículo. Como resultado, se desenvolve um ovo-testículo (com maior ou menor proporção de tecido testicular dependendo do grau de colonização da gônada em formação por células provenientes do gêmeo macho). Ademais, ao haver certa quantidade de tecido testicular produtor de MIH, circularão sobre o feto fêmea níveis desse hormônio que, embora baixos, afetarão o desenvolvimento normal dos dutos de Müller, fazendo com que as bezerras Freemartin possuam genitálias internas ausentes ou pouco desenvolvidas. Os andrógenos produzidos pelas zonas de tecido testicular, por fim, são suficientes para causar um certo grau de masculinização, que se manifesta como um clitóris mais grande que o normal ou um desenvolvimento corporal masculinizado. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ARNOLD, Arthur P.; CHEN, Xuqi; ITOH, Yuichiro. What a difference an X or Y makes: sex chromosomes, gene dose, and epigenetics in sexual differentiation. In: Sex and gender differences in pharmacology. Springer, Berlin, Heidelberg, 2013. p. 67-88. CUNNINGHAM, James. Tratado de fisiologia veterinária. Elsevier Health Sciences, 2011. DERIVAUX, Jules; BARNABÉ, Renato Campanarut. Reprodução dos animais domésticos. Zaragoza: Acribia, 1980. DA SILVA, Emanuel Isaque Cordeiro. Desenvolvimento Embrionário e Diferenciação Sexual nos Animais Domésticos. Disponível em:. Acesso em: Julho de 2020. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HIDALGO, C. Galina et al. Reproducción de animales domésticos. México: Limusa, 2008. MACLAUGHLIN, David T.; DONAHOE, Patricia K. Sex determination and differentiation. New England Journal of Medicine, v. 350, n. 4, p. 367-378, 2004. MCCARTHY, Margaret M.; ARNOLD, Arthur P. Reframing sexual differentiation of the brain. Nature neuroscience, v. 14, n. 6, p. 677, 2011. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. Academic Press, 2014. REY, Rodolfo. Diferenciación sexual embrio-fetal: De las moléculas a la anatomía. Revista chilena de anatomía, v. 19, n. 1, p. 75-82, 2001. SENGER, P. L. Embryogenesis of the pituitary gland and male or female reproductive system. In. Pathways to Pregnancy and Parturition. Current Conception Inc, v. 1, p. 8-76, 1997. ZARCO, L. Diferenciación sexual. In. PORTA, L. R.; MEDRANO, J. H. H. Fisiología reproductiva de los animales domésticos. Cidade do México: FMVZ-UNAM, 2018. -/- REALIZAÇÃO -/- . (shrink)

Logical pluralism is the view that there is more than one correct logic. Stei assumes that the correctness of a logic is a matter of the relation between the formal validity of a logical theory and extra-theoretic validity. I reject the assumption, on the grounds that it’s not clear that extratheoretic validity can be determined independently of formal validity. I formulate instead quietist logical pluralism, which is quietist with respect to the nature of extra-theoretic validity and its relation to formal (...) validity. Because of this, quietist logic pluralism needs a different correctness criterion for logic: correctness is a matter of a logic’s having normative upshot for deductive reasoning. I argue that this approach has the advantage of resisting the collapse of logical pluralism into monism. In particular, I suggest that deductive reasoning has two distinct roles, one with respect to the coherence of our attitudes and another with respect to how our attitudes are based on one another. I give two different normative principles that correspond to these roles; doing so requires abandoning the idea that normative bridge principles are universally quantified over all logics. That idea has been inherited from MacFarlane, but it’s not clear why the pluralist should accept it, as long as she can avoid giving principles that are ad hoc. By tying the principles to crucial roles of deductive reasoning, I aim to avoid both ad hockery and collapse. (shrink)

This article is an exercise in the virtue epistemology of the internet, an area of applied virtue epistemology that investigates how online environments impact the development of intellectual virtues, and how intellectual virtues manifest within online environments. I examine online echo chambers and epistemic bubbles (Nguyen 2020, Episteme 17(2), 141–61), exploring the conceptual relationship between these online environments and the virtue of open-mindedness (Battaly 2018b, Episteme 15(3), 261–82). The article answers two key individual-level, virtue epistemic questions: (Q1) How does immersion (...) in online echo chambers and epistemic bubbles affect the cultivation and preservation of open-mindedness, and (Q2) Is it always intellectually virtuous to exhibit open-mindedness in the context of online echo chambers and epistemic bubbles? In response to Q1, I contend that both online echo chambers and online epistemic bubbles threaten to undermine the cultivation and preservation of open-mindedness, albeit via different mechanisms and to different degrees. In response to Q2, I affirm that both a deficiency and an excess of open-mindedness can be virtuous in these online environments, depending on the epistemic orientation of the digital user. (shrink)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

This paper contributes to the growing literature in social epistemology of diagnosing the epistemically problematic features of fake news. I identify two novel problems: the problem of relevant alternatives; and the problem of the degradation of the epistemic environment. The former arises among individual epistemic transactions. By making salient, and thereby relevant, alternatives to knowledge claims, fake news stories threaten knowledge. The problem of the degradation of the epistemic environment arises at the level of entire epistemic communities. I introduce the (...) notion of an epistemic environment, roughly the totality of resources and circumstances relevant to assessing the epistemically interesting statuses, such as knowledge. Fake news degrades our epistemic environment by undermining confidence in epistemic institutions and altering epistemic habits, thereby making the environment less conducive to achieving positive epistemic statuses. This is problematic even if the decrease in confidence and the altering of habits are rational. I end by considering solutions to these problems, stressing the importance of reproaching each other for proliferating fake news. I argue that we should reproach even faultless purveyors of fake news. This is because fake news typically arises in abnormal epistemic contexts, where there is widespread ignorance of, and noncompliance with, correct epistemic norms. (shrink)

Incompatibilists believe free will is impossible if determinism is true, and they often claim that this view is supported by ordinary intuitions. We challenge the claim that incompatibilism is intuitive to most laypersons and discuss the significance of this challenge to the free will debate. After explaining why incompatibilists should want their view to accord with pretheoretical intuitions, we suggest that determining whether incompatibilism is in fact intuitive calls for empirical testing. We then present the results of our studies, which (...) put significant pressure on the claim that incompatibilism is intuitive. Finally, we consider and respond to several potential objections to our approach. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Augmented reality (AR) technologies function to ‘augment’ normal perception by superimposing virtual objects onto an agent’s visual field. The philosophy of augmented reality is a small but growing subfield within the philosophy of technology. Existing work in this subfield includes research on the phenomenology of augmented experiences, the metaphysics of virtual objects, and different ethical issues associated with AR systems, including (but not limited to) issues of privacy, property rights, ownership, trust, and informed consent. This paper addresses some epistemological issues (...) posed by AR systems. I focus on a near-future version of AR technology called the Real-World Web, which promises to radically transform the nature of our relationship to digital information by mixing the virtual with the physical. I argue that the Real-World Web (RWW) threatens to exacerbate three existing epistemic problems in the digital age: the problem of digital distraction, the problem of digital deception, and the problem of digital divergence. The RWW is poised to present new versions of these problems in the form of what I call the augmented attention economy, augmented skepticism, and the problem of other augmented minds. The paper draws on a range of empirical research on AR and offers a phenomenological analysis of virtual objects as perceptual affordances to help ground and guide the speculative nature of the discussion. It also considers a few policy-based and designed-based proposals to mitigate the epistemic threats posed by AR technology. (shrink)

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the most promising of which depends (...) not on logic’s normativity but on epistemic goals. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without succumbing (...) to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

Logical pluralism is the view that there is more than one correct logic. A key objection to logical pluralism is that it collapses into monism. The core of the Collapse Objection is that only the pluralist’s strongest logic does any genuine normative work; since a logic must do genuine normative work, this means that the pluralist is really a monist, who is committed to her strongest logic being the one true logic. This paper considers a neglected question in the collapse (...) debate: what is it for a logic to do genuine normative work? As well as having wider upshot for the connection between logic and normativity, grappling with this question provides a new response to the Collapse Objection on behalf of the pluralist. I suggest that we should allow logics to generate pro tanto reasons in a way that bears not just on combinations of attitudes but on how an agent’s attitudes are based on one another. This motivates adopting normative principles that allow the pluralist’s weaker logics to earn their normative keep. Rather than being ad hoc, these principles capture a sense in which good reasoning goes beyond the consistency of an agent’s attitudes. Good reasoning is also concerned with how an agent’s attitudes are based on one another. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

The semantics of our event talk is a complex affair. What is it that we are talking about when we speak of Brutus’s stabbing of Caesar? Exactly where and when did it take place? Was it the same event as the killing of Caesar? Some take questions such as these to be metaphysical questions. I think they are questions of semantics—questions about the way we talk and about what we mean. And I think that this conflict between metaphysic and semantic (...) concerns is indicative of a “deep indeterminacy” (Bennett’s phrase) in our event concept. We do talk about events; but what events a statement is about is not something that can be inferred from the event names we use; it depends heavily (more heavily than with ordinary material objects) on local context and unprincipled intuitions. This paper illustrates this view in connection with two examples: the phenomenon of vagueness and the dispute over identity statements. (shrink)

Skeptics of the moral case against industrial farming often assert that harm to animals in industrial systems is limited to isolated instances of abuse that do not reflect standard practice and thus do not merit criticism of the industry at large. I argue that even if skeptics are correct that abuse is the exception rather than the rule, they must still answer for two additional varieties of serious harm to animals that are pervasive in industrial systems: procedural harm and institutional (...) oppression. That procedural and institutional harms create conditions under which abuse is virtually inevitable only increases the skeptic's burden. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

. This article seeks to outline how a Muslim believer can deflect a defeater for Islamic belief put forward by Erik Baldwin and Tyler McNabb. In doing so, it aims to reject the suggestion that an Islamic religious epistemology is somehow antithetical to a model of Reformed epistemology which is not fully compatible with Plantingian. Taken together with previous work on Islam and RE, the article not only aims to provide reason to think that Baldwin and McNabb’s proposed epistemic defeater (...) for Islamic belief isn’t problematic, it also seeks to show how the concerns raised by Baldwin and McNabb over a Plantingian model of RE in Islamic milieu, are no longer tenable. (shrink)

Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.

We propose the beginnings of a general theory of environments, of the parts or regions of space in which organisms live and move. We draw on two sources: on the one hand on recent work on the ontology of space; and on the other hand on work by ecological scientists on concepts such as territory, habitat, and niche. An environment is in first approximation a volume of space; it is a specific habitat, location, or site that is suitable or adequate (...) for given purposes (of foraging, resting, hunting, breeding, nesting, grooming) in the life of an organism or group of organisms. This spatial notion of environment can be drawn closer to biological and ecological science by taking account of the pertinent physical attributes realized within given spatial regions. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

ABSTRACT Self-Interest and Public Interest in Western Politics showed that the public, politicians, and bureaucrats are often public spirited. But this does not invalidate public-choice theory. Public-choice theory is an ideal type, not a claim that self-interest explains all political behavior. Instead, public-choice theory is useful in creating rules and institutions that guard against the worst case, which would be universal self-interestedness in politics. In contrast, the public-interest hypothesis is neither a comprehensive explanation of political behavior nor a sound basis (...) for institutional design. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

My argument proceeds in two stages. In §I, I sum up the intuitions of a popular argument for 'satisfaction accounts' of Purgatory that I label, TAP. I then offer an argument, taken from a few standard orthodox Christian beliefs and one axiom of Christian theology, to so show that TAP is unsound. In the same section, I entertain some plausible responses to my argument that are prima facie consistent with these beliefs and axiom. I find these responses wanting. In §II, (...) I offer a sorites problem for TAP, given the orthodox Christian understanding of Christ’s parousia, showing that TAP and the intuitions driving it are faulty. To attempt something of a corrective, I end by offering some modest theological suggestions for thinking through “the logic of total transformation.”. (shrink)

In earlier work, I predicted that we would probably not be able to determine the colors of the dinosaurs. I lost this epistemic bet against science in dramatic fashion when scientists discovered that it is possible to draw inferences about dinosaur coloration based on the microstructure of fossil feathers (Vinther et al., 2008). This paper is an exercise in philosophical error analysis. I examine this episode with two questions in mind. First, does this case lend any support to epistemic optimism (...) about historical science? Second, under what conditions is it rational to make predictions about what questions scientists will or will not be able answer? In reply to the first question, I argue that the recent work on the colors of the dinosaurs matters less to the debate about the epistemology of historical science than it might seem. In reply to the second question, I argue that it is difficult to specify a policy that would rule out the failed bet without also being too conservative. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

O artigo oferece uma breve exposição da biografia e do contexto histórico do filósofo neoplatônico Damáscio (c. 458 - c. 538) para, na sequência, apresentar a tradução de um dos seus poemas líricos do período final de sua vida. O procedimento adotado justifica-se pelo caráter lutuoso e decididamente pessoal dos versos, nos quais Damáscio lamenta consigo próprio as perdas sofridas no decorrer de sua longa e fascinante vida. Como veremos, tais perdas estão, em verdade, diretamente ligadas ao colapso do mundo (...) antigo e ao derradeiro golpe proferido por Justiniano contra a filosofia helênica pagã. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)